hard SAT

join shbcf.ru